NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·10h
🔗Topological Sorting
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·6h·
Discuss: DEV
⚡Performance Tools
Oblique Strategies for Vibe Coding
useyourexperience.com·1d·
Discuss: Hacker News
🇸🇪Nordic Algorithms
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·5h
📞Session Types
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·7h
⬆️Lambda Lifting
Lessons from LangChain and Slack and MCP Integration
medium.com·17h·
Discuss: Hacker News
🔗Topological Sorting
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2h·
Discuss: Hacker News
🔗Constraint Handling
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·1d
🔗Concatenative Programming
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·13h·
Discuss: Hacker News
🦀Rust Macros
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Pair Programming against Agentic Dementia
dev.to·18h·
Discuss: DEV
📼Tape Combinators
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·16h·
Discuss: Hacker News
🦀Rust Macros
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Creating Truly Custom Events for Web Components
dev.to·1h·
Discuss: DEV
📞Session Types
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver